Local zero estimates and effective division in rings of algebraic power series
نویسنده
چکیده
We give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact we show that this condition is also sufficient when the module is a ring with some additional properties. To prove this result we show an effective Weierstrass Division Theorem and an effective solution to the Ideal Membership Problem in rings of algebraic power series. Finally we apply these results to prove a gap theorem for power series which are remainders of the Grauert-Hironaka-Galligo Division Theorem.
منابع مشابه
ON ANNIHILATOR PROPERTIES OF INVERSE SKEW POWER SERIES RINGS
Let $alpha$ be an automorphism of a ring $R$. The authors [On skewinverse Laurent-serieswise Armendariz rings, Comm. Algebra 40(1)(2012) 138-156] applied the concept of Armendariz rings to inverseskew Laurent series rings and introduced skew inverseLaurent-serieswise Armendariz rings. In this article, we study on aspecial type of these rings and introduce strongly Armendariz ringsof inverse ske...
متن کاملHYPERTRANSCENDENTAL FORMAL POWER SERIES OVER FIELDS OF POSITIVE CHARACTERISTIC
Let $K$ be a field of characteristic$p>0$, $K[[x]]$, the ring of formal power series over $ K$,$K((x))$, the quotient field of $ K[[x]]$, and $ K(x)$ the fieldof rational functions over $K$. We shall give somecharacterizations of an algebraic function $fin K((x))$ over $K$.Let $L$ be a field of characteristic zero. The power series $finL[[x]]$ is called differentially algebraic, if it satisfies...
متن کاملAn Effective Weierstrass Division Theorem
We prove an effective Weierstrass Division Theorem for algebraic restricted power series with p-adic coefficients. The complexity of such power series is measured using a certain height function on the algebraic closure of the field of rational functions over Q. The paper includes a construction of this height function, following an idea of Kani. We apply the effective Weierstrass Division Theo...
متن کاملGENERALIZED GORENSTEIN DIMENSION OVER GROUP RINGS
Let $(R, m)$ be a commutative noetherian local ring and let $Gamma$ be a finite group. It is proved that if $R$ admits a dualizing module, then the group ring $Rga$ has a dualizing bimodule as well. Moreover, it is shown that a finitely generated $Rga$-module $M$ has generalized Gorenstein dimension zero if and only if it has generalized Gorenstein dimension zero as an $R$-module.
متن کاملINDEPENDENT SETS OF SOME GRAPHS ASSOCIATED TO COMMUTATIVE RINGS
Let $G=(V,E)$ be a simple graph. A set $Ssubseteq V$ isindependent set of $G$, if no two vertices of $S$ are adjacent.The independence number $alpha(G)$ is the size of a maximumindependent set in the graph. In this paper we study and characterize the independent sets ofthe zero-divisor graph $Gamma(R)$ and ideal-based zero-divisor graph $Gamma_I(R)$of a commutative ring $R$.
متن کامل